Theorem machine prove
[计] 定理机器证明
🧩 词语组成解析
prove
[pru:v]
vt. 证明，证实;[法]验证，检定;显示;
vi. 显示出，证明是;
🗣️ 情景例句
You may be offered coffee, and then you should immediately announce the reason for your visit.
他们会给你冲咖啡，然后你应该尽快说明来意。
I beg your pardon.Is this seat taken?
请问这个位子被占了吗？
She can't come. She has to help her Mommy!
她不能来。她得帮她妈妈的忙！